Resource Type

Journal Article 1

Year

2017 1

Keywords

Coq 1

Refinement 1

Structured operational semantics 1

Unified Modeling Language (UML)-Statecharts 1

Search scope:

排序： Display mode:

Mechanized semantics and refinement of UML-Statecharts Article

Feng SHENG, Liang DOU, Zong-yuan YANG

Frontiers of Information Technology & Electronic Engineering 2017, Volume 18, Issue 11,   Pages 1773-1783 doi: 10.1631/FITEE.1601196

Abstract: In this study, we use the theorem proof assistant Coq to formalize and mechanize the semantics of UMLStatecharts

Keywords： Unified Modeling Language (UML)-Statecharts     Coq     Refinement     Structured operational semantics    

HTML PDF Collect

Title Author Date Type Operation

Mechanized semantics and refinement of UML-Statecharts

Feng SHENG, Liang DOU, Zong-yuan YANG

Journal Article